only events in $L$ send on $l$ with ${\it tg}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. kind($e$) $=$ rcv($l$,${\it tg}$) $\Rightarrow$ (kind(sender($e$)) $\in$ $L$)